How to Catch L2 -Heavy-Hitters on Sliding Windows Vladimir Braverman1, Ran Gelles2 , and Rafail Ostrovsky3 1 Department of Computer Science, Johns Hopkins University, . Department of Computer Science, Univ

Source URL: arxiv.org

• Theory of computation
• Circuit complexity
• NC
• Best
• worst and average case
• Ogonek
• Theoretical computer science

SAFECOMP 2015 Conference Programme September 23-25, 2015 TU Delft Congress Centre MekelwegCC Delft

Source URL: safecomp2015.tudelft.nl

• Safety
• Formal methods
• Control engineering
• Computer systems
• Software quality
• Session
• Computer security
• Embedded system
• Life-critical system
• Safety case
• Systems engineering
• Automobile safety

A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local

Source URL: flint.cs.yale.edu

• Model theory
• Logic in computer science
• Separation logic
• Substructural logic
• Structure
• Elementary class
• Substitution

Huff & Brown | Teaching Therac 1 Integrating Ethics Into a Computing Curriculm: A Case Study of the Therac-25 Chuck Huff1 and Richard Brown2 Abstract Almost all computer ethics courses use cases to some extent. We show h

Source URL: www.stolaf.edu

Fat Boosting: A Case Study ´ am D. Lelkes Benjamin Fish, Jeremy Kun, Ad´ University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science

Source URL: www.fatml.org

Case Study: Department of State Solution PTFS created a web-based content management solution which supports the State Department end user access to

Source URL: www.ptfs.com

• Information technology
• Computing
• Information
• Information technology management
• Content management systems
• Data management
• Records management
• Knowledge representation
• Computer file

Staged Self-Assembly and Polyomino Context-Free Grammars? Andrew Winslow?? Department of Computer Science, Tufts University,

Source URL: www.eecs.tufts.edu

• Mathematical games
• Polyforms
• Mathematics
• Polyomino
• Analysis of algorithms
• Formal languages
• Stochastic context-free grammar
• Logarithm
• Best
• worst and average case

Informing Protocol Design Through Crowdsourcing: the Case of Pervasive Encryption Anna Maria Mandalari Marcelo Bagnulo

Source URL: irtf.org

• Internet privacy
• Secure communication
• Computer networking
• Cryptographic protocols
• Transport Layer Security
• Proxy server
• Transmission Control Protocol
• HTTPS
• Internet protocol suite
• Session Initiation Protocol

A version of this paper will appear in the Communications of the ACM (CACM). Memory Models: A Case for Rethinking Parallel Languages and Hardware Sarita V. Adve

Source URL: rsim.cs.uiuc.edu

• Computer memory
• Concurrency control
• Concurrency
• Compiler construction
• Parallel computing
• Memory model
• Java memory model
• Memory barrier
• OpenMP
• Thread
• Synchronization
• Stream processing

COGNITION AND INSTRUCTION, 19(2), 177–213 Copyright © 2001, Lawrence Erlbaum Associates, Inc. The Case for Social Agency in Computer-Based Teaching: Do Students Learn More Deeply When They Interact

Source URL: ldtprojects.stanford.edu